Skip to content

feat: updates for 0.25 coordination#207

Closed
0xcadams wants to merge 5 commits intomainfrom
0xcadams/0.25
Closed

feat: updates for 0.25 coordination#207
0xcadams wants to merge 5 commits intomainfrom
0xcadams/0.25

Conversation

@0xcadams
Copy link
Member

@0xcadams 0xcadams commented Dec 5, 2025

No description provided.

@0xcadams 0xcadams enabled auto-merge December 5, 2025 19:25
Copy link

@chatgpt-codex-connector chatgpt-codex-connector bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@0xcadams 0xcadams disabled auto-merge December 5, 2025 19:33
export const builder = zql;

/** Defines the default types for Zero */
declare module "@rocicorp/zero" {
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We now automatically generate the declare module to define the schema, so one less step for users.

@0xcadams 0xcadams enabled auto-merge December 5, 2025 20:12
@0xcadams 0xcadams disabled auto-merge December 5, 2025 20:48
@0xcadams 0xcadams closed this Dec 5, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant